Concurrency in Timed Automata
نویسندگان
چکیده
منابع مشابه
Concurrency theory - calculi and automata for modelling untimed and timed concurrent systems
CONCURRENCY THEORY CALCULI AN AUTOMATA FOR MODELLING UNTIMED AND TIMED CONCURRENT SYSTEMS Are you looking for ebook concurrency theory calculi an automata for modelling untimed and timed concurrent systems PDF? You will be glad to know that right now concurrency theory calculi an automata for modelling untimed and timed concurrent systems PDF is available on our online library. With our online ...
متن کاملCottbus Timed Automata: Formal Definition and Semantics
We present a formalism for modular modelling of hybrid systems, the Cottbus Timed Automata. For the theoretical basis, we build on work about timed and hybrid automata. We use concepts from concurrency theory to model communication of separately defined modules, but we extend these concepts to be able to express explicitly readand write-access to signals and variables.
متن کاملCottbus Timed Automata: Formal Definition and Compositional Semantics
We present a formalism for modular modeling of hybrid systems, the Cottbus Timed Automata. For the theoretical basis, we build on work about timed and hybrid automata. We use concepts from concurrency theory to model communication of separately defined modules, and we extend these concepts to be able to express explicitly readand write-access to signals and variables.
متن کاملTimed Unfoldings for Networks of Timed Automata
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here, we design a verification algorithm for networks of timed automata with invariants. Based on the unfolding technique, our method produces a branching process as an acyclic Petri net extended with read arcs. These arc...
متن کاملDurational Actions Timed Automata: Determinization and Expressiveness
In this paper we present durational actions timed automata, DATA*, as a sub class of timed automata. In the contrast of T.A, the underling semantic of DATA* is the maximality semantics which claim that actions have durations and true concurrency is captured differently from choice. DATA* model is in one hand useful for modeling and validating reel aspects of systems. In the other hand, it is de...
متن کاملSymbolic Unfoldings for Networks of Timed Automata
In this paper we give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Extended symbolic nets are standard occurrence nets extended with read arcs and symbolic constraints on places and transitions. We prove that there is a complete finite prefix for any NTA that contains at least the information of the simulation graph of the NTA but keep ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 309 شماره
صفحات -
تاریخ انتشار 2001